The Neurological Disease Ontology (ND) is being developed to provide a comprehensive framework for the representation of neurological diseases (Diehl et al., 2013). ND utilizes the model established by the Ontology for General Medical Science (OGMS) for the representation of entities in medicine and disease (Scheuermann et al., 2009). The goal of ND is to include information for each disease concerning its molecular, genetic, and environmental origins, the processes involved in its etiology and realization, as well as its clinical presentation (...) including signs and symptoms. (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

It has been argued that Plato sought to make his rulers invulnerable to any kind of wrongdoing. In this paper we argue that this (humanly impossible) claim misunderstand the ways in which Plato shapes his state precisely in order to make the rulers safe from what could corrupt them.

Composite materialism, as I will understand it, is the view that human persons are composite material objects. This paper develops and investigates an argument, The Vague Singulars Argument, for the falsity of composite materialism. We shall see that cogent or not, the Vague Singulars Argument has philosophically significant ramifications.

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This book gathers the contribution of Brazilian and Argentine philosophers around themes of contemporary analytical philosophy.

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages established (...) ontologies to create logically structured representations of microbiomes, microbial taxonomy, host species, host anatomical entities, and HMIs under different conditions and associated study protocols and types of data analysis and experimental results. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)

In ‘The normative role of knowledge’ (2012), Declan Smithies defends a ‘JK-rule’ for belief: One has justification to believe that P iff one has justification to believe that one is in a position to know that P. Similar claims have been defended by others (Huemer, 2007, Reynolds, forthcoming). In this paper, I shall argue that the JK-rule is false. The standard and familiar way of arguing against putative rules for belief or assertion is, of course, to describe putative counterexamples. My (...) argument, though, won’t be like this – indeed I doubt that there are any intuitively compelling counterexamples to the JK-rule. Nevertheless, the claim that there are counterexamples to the JK-rule can, I think, be given something approaching a formal proof. My primary aim here is to sketch this proof. I will briefly consider some broader implications for how we ought to think about the epistemic standards governing belief and assertion. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at (...) work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay. (shrink)

Philosophers from Plotinus to Paul Churchland have yielded to the temptation to embrace doctrines which contradict the core beliefs of common sense. Philosophical realists have on the other hand sought to counter this temptation and to vindicate those core beliefs. The remarks which follow are to be understood as a further twist of the wheel in this never-ending battle. They pertain to the core beliefs of common sense concerning the external reality that is given in everyday experience -the beliefs (...) of folk physics, as we might call them. Just as critics of Churchland et al. have argued that the folk-psychological ontology of beliefs, desires, etc. yields the best explanation we can have of the order of cognitive phenomena conceived from the perspective of first-person experience, so we shall argue that (1) the commonsensical ontology of folk physics yields the best explanation we can have of our externally directed cognitive experience and that (2) an ontology of mesoscopic things, events and processes must play a role, in particular, in our best scientific theory of human action. (shrink)

The paper relates classical treatments of physics and metaphysics to contemporary work on common sense in the field of artificial intelligence (J. Hobbs, P. Hayes, et al.). It defends the universality (and truth) of certain basic principles of common-sense physics and shows why these basic principles must leave certain issues undetermined.

This paper was published in an issue of the ANTW, Dutch General Journal of Philosophy, dedicated to the work of Paul Churchland. It criticizes Churchland for neglecting the relationships of animals to their environments and their innate subjectivity, which guides them through their environment. The concept of an emotional a priori is introduced, 'the innate structures of experience', analogue to Kant's cognitive a priori. Subjectivity is an evolved property which enables organisms to adapt their genetic interests to a (...) particular environment. (shrink)

Analytic philosophers have until recently been reluctant to pursue historical investigations into the Central European roots of their own philosophical tradition. The most recent book by Michael Dummett, however, entitled Origins of Analytic Philosophy, shows how fruitful such investigations can be, not only as a means of coming to see familiar philosophical problems in a new light, but also as a means of clarifying what, precisely, ‘analytic philosophy’ might mean. As Dummett points out, the newly fashionable habit of referring to (...) analytic philosophy as ‘Anglo-American’ leads to a ‘grave historical distortion’. If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy ‘could at least as well be called "Anglo-Austrian"’ (p. 7). We here show the implications of this assertion for a more adequate understanding of the relations between analytic and Continental philosophy. (shrink)

Analytic philosophers have until recently been reluctant to pursue historical investigations into the Central European roots of their own philosophical tradition. The most recent book by Michael Dummett, however, entitled Origins of Analytic Philosophy, shows how fruitful such investigations can be, not only as a means of coming to see familiar philosophical problems in a new light, but also as a means of clarifying what, precisely, ‘analytic philosophy’ might mean. As Dummett points out, the newly fashionable habit of referring to (...) analytic philosophy as ‘Anglo-American’ leads to a ‘grave historical distortion’. If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy ‘could at least as well be called "Anglo-Austrian"’ (p. 7). We here show the implications of this assertion for a more adequate understanding of the relations between analytic and Continental philosophy. (shrink)

I critically evaluate the influential new wave account of theory reduction in science developed by Paul Churchland and Clifford Hooker. First, I cast doubt on claims that the new wave account enjoys a number of theoretical virtues over its competitors, such as the ability to represent how false theories are reduced by true theories. Second, I argue that the genuinely novel claim that a corrected theory must be specified entirely by terms from the basic reducing theory is in fact (...) too restrictive for scientific practice and should be rejected. Basic theories co-evolve with nonbasic theories in a mutually interactive way, and thus the basic theories incorporate the concepts and concerns of nonbasic theories. Third, I show that once its ontological consequences are duly noted, the reductive part the new wave account collapses into the classical theory developed within the logical empiricist tradition. As such, it still falls prey to standard anti-reductionist argument based upon multiple realizability and the cross-classification of special science and physical science terms. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Philosophers of science have offered different accounts of what it means for one scientific theory to reduce to another. I propose a more or less friendly amendment to Kenneth Schaffner’s “General Reduction-Replacement” model of scientific unification. Schaffner interprets scientific unification broadly in terms of a continuum from theory reduction to theory replacement. As such, his account leaves no place on its continuum for type irreducible and irreplaceable theories. The same is true for other accounts that incorporate Schaffner's continuum, for example, (...) those developed by Paul Churchland, Clifford Hooker, and John Bickle. Yet I believe a more general account of scientific unification should include type irreducible and irreplaceable theories in an account of their partial reduction, specifically, when there is a reduction of their tokens. Thus I propose a “Reduction-Reception-Replacement” model wherein type irreducible and irreplaceable theories are accepted or received for the purpose of unifying domains of particulars. I also suggest a link between this kind of token reduction and mechanistic explanation. (shrink)

First, the book does not have an original thesis. The thesisthe author wants to argue is that Smith is different from his current caricature, a legacy of his nineteenth-century image, according to which he would argue that: i) man is a maximizer of utility; ii) man is ordinarily moved by a narrow selfish interest, or at least is indifferent to the interests of others; iii) human beings are social atoms; iv) a perfectly competitive market is morally a free zone (...) (pp. 4-5). The author recognizes that these interpretations "are being questioned by many scholars". contemporary", however, reiterates his conviction that these interpretations are still prevalent, and cites in this regard the abuse of the name of Smith by the Chicago school (p.6). If the author's aim is to challenge a caricature, still common among non-experts but no longer shared by Smith's scholars, one may wonder whether this justifies a new book. Secondly, the author does not demonstrate mastery of the state of the art. She wants to demonstrate the non-existence of Adam Smith Problem, not only without any direct knowledge of German literature but ignoring an important article by Heilbroner from 1981 and a fundamental essay by Dickey from 1986 that explicitly advocate an exhumation of the "Adam Smith problem" in a new form. Thirdly, the author lacks the ability to understand concepts and problems in contextual terms: where she mentions Adam Smith's 'Newtonianism' she does not prove to be familiar with the literature on the subject, citing Lindgren as the only authority and ignoring, among others, Moscovici, Skinner, Hetherington and Freudenthal, but also seems to understand by Newtonianism an equivalent of deterministic and materialistic mechanicism (pp. 48-51). Besides, every time she uses the term utilitarianism he confuses it with the terms hedonism, economicism, selfishness (p. 155). (shrink)

On the first page of 1984, Winston Smith is confronted with several posters featuring the face of Big Brother and the famous sentence, “BIG BROTHER IS WATCHING YOU.” This may not seem like a promising way to seduce someone, but the seduction of Winston Smith by Big Brother in 1984 is a most unusual love story. I call it a seduction because Winston’s mind and heart are slowly won over in the aptly-named Ministry of Love. Moreover, in the (...) final scene of the novel, Winston gazes, with tears in his eyes, up at Big Brother on the telescreen. The last sentence of the book states, simply, “He loved Big Brother.” How does Big Brother seduce Winston Smith? He certainly does not employ stereotypical methods. Big Brother is not particularly sexy, and his incessant angry shouting does not seem calculated to foster adoration. On top of that, Winston never meets Big Brother in person. His only access is through media: posters, stories, and the telescreen. We all know that it’s hard to maintain a long-distance relationship. Long-distance seduction is even more challenging. So how does Big Brother manage it? To answer this question, I use the theory of seduction first articulated by the philosopher John Forrester (1990, p. 42), who argues that “the first step in a seductive maneuver could be summed up as, ‘I know what you’re thinking.’”. (shrink)

Studie recenzuje díla: Sam HARRIS, The Moral Landscape a Patricia Smith CHURCHLAND, Braintrust. Cílem recenzní stati je vyzdvihnout hlubokou shodu v naturalistickém pojetí etiky u obou autorů a upozornit na některé nedostatky jejich argumentace.

This is a contribution to a Book symposium on The Limits of Free Will: Selected Essays by Paul Russell. Russell provides replies to three critics of The Limits of Free Will. The first reply is to Robert Wallace and focuses on the question of whether there is a conflict between the core compatibilist and pessimist components of the "critical compatibilist" position that Russell has advanced. The second reply is to Angela Smith's discussion of the "narrow" interpretation of moral responsibility (...) responsibility (as defended by R. Jay Wallace) and how best to respond to it. The third and last reply is concerned with Christopher Bennett's criticism of Russell's views concerning "motivational scepticism" and the possibility of pure practical reasons. (shrink)

... In Virtue byConsensus Vincent Hope sets out to correct this "serious imbalance in the usual estimation of the relative merit of Hutcheson, Hume and Smith" (p. 3). He argues that "Hume has been given too much prominence and his importance has been exaggerated" (p. 3). Hope is especially concerned to place more emphasis on Smith who, he says, "has received far less attention than he deserves" (p. 3). Hope suggests that his claim to offer something new on (...) the work of these thinkers rests, ultimately, on his "insights into the significance of the impartial spectator and the nature of the person he is meant to represent" (p. 2). In the final chapters of this book Hope sets out to develop "a new theory of virtue" on the basis of his critical analysis and discussion of the ideas of these three thinkers. According to Hope, the "main idea" of Hutcheson, Hume, and Smith "is that morality, and more particularly virtue, depends on a consensus based on the similarity of pleasure and displeasure which people respectively enjoy or suffer in observing how they treat each other. They assume that people's appreciation of virtue rests on shared feelings. Because of this individuals can check their moral judgments against each other: this is the only way in which they can confirm or correct their moral assessments"(p. 2). In relation to this matter, Hope argues that "the view which has prevailed for so long ... that Hutcheson and Hume [and Smith] are non-cognitivists, is wrong" (p. 3). These thinkers, Hope argues,"are neither objectivists nor in the simple sense 'subjectivists"('p. 5). They regard virtue and vice as qualities which are "subjective with respect, not to the individual, but the human species, or society,or the fair-minded"(p. 3). In other words,they advance and defend what Hope describesas "intersubjectivism"(p. 8). According to this account, our shared emotional makeup, and our capacity to take up a disinterested or impartial perspective on actions and characters,makes it possible for us to reason in this sphere and arrive at true moral judgments. Smith, Hope maintains, provides a considerable advance on both Hutcheson and Hume. .... (shrink)

Simon Blackburn has not shied away from the use of vivid imagery in developing, over a long and prolific career, a large-scale philosophical vision. Here one might think, for instance, of ‘Practical Tortoise Raising’ or ‘Ramsey's Ladder’ or ‘Frege's Abyss’. Blackburn develops a ‘quasi-realist’ account of many of our philosophical and everyday commitments, both theoretical (e.g., modality and causation) and practical (e.g., moral judgement and normative reasons). Quasi-realism aims to provide a naturalistic treatment of its targeted phenomena while earning the (...) right to deploy all of the ‘trappings’ of realism—i.e., while eschewing any idea that our normal thought and talk about such phenomena are pervasively in error. The quasi-realist project is that of explaining how (as Huw Price puts it here) ‘the folk come to “talk the realist talk” without committing ourselves—us theorists, as it were—to “walking the metaphysical walk”’ (p. 136). Quasi-realism, too, can speak of truth, facts, properties, belief, knowledge, and so on. The imagery in this collection also abounds, though, in capturing a different view of quasi-realism: No fewer than three of the contributors picture Blackburn as wanting to have his cake and eat it too (Louise Antony asking, in addition, ‘Who doesn't? It's cake’ [p. 19]). (shrink)

Abstract of a paper to be presented in an APA symposium on Epistemology and Philosophy of Mind, December 28, 1987, commenting on papers by Alvin I. Goldman and Patricia Smith Churchland.

Critical notice of Images of Science by P. M. Churchland and C. A. Hooker.

Sumário. Apresentação. PARTE I. 1. O legado filosófico de P. F. Strawson, Itamar Luís Gelain e Jaimir Conte; 2 . Strawson e o caso dos metafísicos descritivos, Itamar Luís Gelain; 3. Metafísica e linguagem comum: sobre uma conturbada herança wittgensteiniana de Strawson, Jônadas Techio; 4. Strawson e Descartes, Albertinho Luiz Gallina; 5. Strawson: sobre Kant e Berkeley, Robert Calabria; 6. O empirismo pós-kantiano de Strawson, Wenceslao J. González; 7. Reabilitando Strawson, Marco Antonio Franciotti; 8. Strawson e o ceticismo em Individuals, (...) Plínio Junqueira Smith; 9. Strawson e a causação visível, João Paulo Monteiro; 10. A verdade dos fatos, Susana Badiola; 11. Estabelecer limites: implicações epistemológicas da lógica, Roberta Corvi; 12. Referência e termos singulares, Carlos E. Caorsi; 13. Strawson: da experiência possível para a ação possível, Márlon Henrique Teixeira; 14. Atitudes reativas e responsabilidade moral, Cristina de Moraes Nunes; 15. Strawson e Hume: uma comparação a propósito de “Moralidade social e ideal individual”, Amán Rosales Rodríguez; PARTE II. 16. Liberdade e ressentimento, P. F. Strawson. Tradução: Jaimir Conte; 17. Moralidade social e ideal individual, P. F. Strawson, Tradução: Jaimir Conte. Seleção bibliográfica. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of (...) scientific explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)